Skalarne quasiliniowe równanie cząstkowe
Równania cząstkowe, są to równania wiążące funkcje wielu zmiennych oraz ich pochodne cząstkowe. Rozwiązywanie równań cząstkowych (w tych przypadkach, gdy jest to możliwe) wymaga opracowania metod istotnie różniących się od tych, które stosuje się w przypadku równań zwyczajnych. Istnieje jednak ważna klasa równań cząstkowych, która jest ściśle związana z układami równań zwyczajnych i których rozwiązywanie w dużej mierze opiera się na podejściach stosowanych w teorii równań zwyczajnych.
Definicja 1:
Skalarnym niejednorodnym równaniem cząstkowym quasiliniowym nazywa się równanie postaci
Jeżeli funkcje \( \left\{P_j\right\}_{j=1}^n \) nie zależą od zmiennej \( z \), natomiast prawa strona równania ( 1 ) jest tożsamościowo równa zeru, wówczas równanie nazywa się liniowym jednorodnym.
Wśród równań quasiliniowych wyróżniamy ważną podklasę równań o dwóch zmiennych niezależnych, dopuszczającą klarowną interpretację geometryczną. Będzie ona rozpatrzona w pierwszej kolejności, a następnie metody opracowane dla niej zostaną przeniesione na równania quasiliniowe o dowolnej ilości zmiennych niezależnych.
Problem poszukiwania powierzchni wektorowej w przestrzeni trójwymiarowej
Rozpatrzmy równanie postaci
gdzie \( z=z(x,\,y) \). Zakładamy że \( P,\,Q,\,R \) — są funkcjami ciągłymi w pewnym zbiorze otwartym \( U\,\subset\,R^3. \) Ponadto zakładamy, że w zbiorze \( U \) nie ma żadnego punktu, w którym te funkcje zerują się jednocześnie. Rozpatrzmy funkcję wektorową
gdzie \( \vec i,\,\vec j,\,\vec k \) są to wektory o jednostkowej długości, skierowane odpowiednio wzdłuż osi \( OX,\,OY,\,OZ. \) Mówimy wówczas, że wzór ( 3 ) przyporządkowujący każdemu punktowi \( (x,\,y,\,z) \) pewien wektor przestrzenny, zadaje w obszarze \( U\,\subset\,R^3 \) pole wektorowe.
Definicja 2:
Liniami pola wektorowego \( \vec F(x,\,y,\,z) \) nazywamy rozwiązania zagadnienia początkowego
gdzie \( (x_0,\,y_0,\,z_0)\,\in\,U. \) Z interpretacji geometrycznej układu wynika, że pole wektorowe \( \vec F=(P,\,Q,\,R) \) jest styczne do krzywej całkowej \( \left(x(t),\,y(t),\,z(t) \right) \) w każdym jej punkcie.
Rozpatrzmy teraz krzywą sparametryzowaną
która w całości leży w \( U \) oraz spełnia warunek transwersalności
Warunek ( 5 ) oznacza, że krzywa \( \Gamma \) w żadnym punkcie nie jest styczna do pola \( \vec F(x,\,y,\,z). \)
W dalszym ciągu rozpatrzmy dwuparametrową rodzinę funkcji \( x(t,\,s),\,y(t,\,s),\,z(t,\,s) \) będących rozwiązaniami zagadnienia początkowego
Rodzina ta opisuje powierzchnię \( \Sigma \) ( tzw. powierzchnię wektorową pola \( \vec F \)), która cechuje się tym, że pole \( \vec F=(P,\,Q,\,R) \) jest styczne do niej w każdym punkcie. Potocznie mówi się że powierzchnia \( \Sigma=(x(t,\,s),\,y(t,\,s),\,z(t,\,s) ) \) jest utkana z trajektorii pola wektorowego \( \vec F \).
Opis powierzchni \( \Sigma \) można oprzeć na takiej obserwacji: jeżeli wzór
opisuje pewną gładką powierzchnię w \( R^3 \), wówczas pole wektorowe
zwane polem gradientowym powierzchni \( \Phi=C, \) jest prostopadłe do tej powierzchni. Warunek prostopadłości można przedstawić w następującej postaci:
Powyższy warunek wynika z tego, że pole \( \vec F \) jest styczne do powierzchni \( \Sigma \). Wówczas pole gradientowe jest w każdym punkcie do tej powierzchni prostopadłe. Powierzchnię tę można przedstawic w postaci funkcji
Wówczas można przyjąć, że \( \Phi=\phi(x,\,y)-z \) i warunek styczności przybiera postać równania
które po dokonaniu podstawienia \( \phi(x,\,y;\,C)=z \) oraz po przeniesieniu ostatniego wyrazu na prawą stronę, pokrywa się z ( 2 ). Jeżeli dla pewnego punktu \( \rho_0=(x_0,\,y_0,\,z_0) \) spełniony jest warunek
wówczas w pewnej kuli otwartej
wzór \( \Phi (x,\,y,\,z)=C \) zadaje w postaci uwikłanej pewną funkcję \( z=\psi(x,\,y) \), która jest określona w sposób jednoznaczny, przy ustalonej wartości parametru \( C \). Warunek prostopadłości zapisuje się wówczas w postaci jednorodnego równania liniowego
Między quasiliniowym niejednorodnym równaniem ( 2 ), a liniowym jednorodnym równaniem ( 7 ) istnieje ścisły związek, który jest przedstawiony poniżej.
Twierdzenie 1:
Dowód
Rzeczywiście, załóżmy że funkcja \( z=\phi(x,\,y;\,C) \) jest określona równaniem
Wówczas, różniczkując powyższą tożsamość najpierw względem \( x \), a następnie względem \( y, \) otrzymamy:
Stąd mamy, że
Podstawiając te wzory do ( 2 ) i mnożąc wynik przez \( -{\partial\,\Phi}/{\partial\,z}\,\, \) otrzymamy, po elementarnych przeksztalceniach, żądaną tezę.